Static single assignment form - PDFSEARCH.IO - Document Search Engine

Static single assignment form
Results: 1516

#	Item
51	BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-13 09:59:00 Computational complexity theory Continuation-passing style Continuations Functional programming Lambda calculus Static single assignment form Reduction Theoretical computer science Applied mathematics Software engineering
52	Information and Software Technology–1439 Contents lists available at ScienceDirect Information and Software Technology journal homepage: www.elsevier.com/locate/infsof Add to Reading List Source URL: welf.se Language: English - Date: 2013-04-23 05:49:36 Mathematics Data-flow analysis 0.999... Static single assignment form Call graph Linked list Object Graph Abstraction Compiler construction Software engineering Computing
53	Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments Brandon Lucia Benjamin P. Wood Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2011-05-12 02:41:19 Data Databases Transaction processing Compiler construction Software bug Lock Adjacency list Static single assignment form Serializability Concurrency control Computing Data management
54	Design and Implementation of Tree SSA Diego Novillo Red Hat Canada Abstract Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Compiler optimizations Cross-platform software Static single assignment form Compilers Programming language implementation GNU Compiler Collection Constant folding Compiler C Software Computing Compiler construction
55	GENERIC and GIMPLE: A New Tree Representation for Entire Functions Jason Merrill Red Hat, Inc. Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Compiler construction Procedural programming languages Cross-platform software Programming language implementation Subroutines GNU Compiler Collection Static single assignment form Intermediate language Register transfer language Software engineering Software Computing
56	Provably Correct Peephole Optimizations with Alive Nuno P. Lopes Microsoft Research, UK David Menendez Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2015-04-28 14:36:09 Compiler construction Compilers Compiler optimizations C programming language LLVM Compiler Static single assignment form GNU Compiler Collection Type system Software Computing Programming language implementation
57	Enforcing information flow policies by a three-valued analysis Jos´ee Desharnais Erwanne P. Kanyabwero Add to Reading List Source URL: csf2012.seas.harvard.edu Language: English - Date: 2012-07-05 18:15:10 Computing Programming language theory Information flow Information theory Crime prevention National security Data-flow analysis Static single assignment form Computer security Data types Type theory Software engineering
58	Rendezvous: A Search Engine for Binary Code Wei Ming Khoo Alan Mycroft Ross Anderson Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-16 12:00:31 Directed acyclic graph Graph N-gram Static single assignment form Graph theory Mathematics Combinatorics
59	VISTA: VPO Interactive System for Tuning Applications PRASAD KULKARNI, WANKANG ZHAO, STEPHEN HINES, DAVID WHALLEY, XIN YUAN, ROBERT VAN ENGELEN and KYLE GALLIVAN Computer Science Department, Florida State University JASO Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2006-03-04 10:34:36 Compiler construction Compiler optimizations Programming language implementation Compiler Inline expansion Code generation Static single assignment form Program optimization Intermediate language Software engineering Computing Computer programming
60	Tree SSA A New Optimization Infrastructure for GCC Diego Novillo Red Hat Canada, Ltd. Abstract Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Compiler construction Compiler optimizations Programming language implementation Cross-platform software Procedural programming languages Static single assignment form GNU Compiler Collection Constant folding Compiler Software engineering Computing Software